Real-time system development: The programming model of MARS
نویسندگان
چکیده
The systematic development of fault tolerant real time systems with guaranteed timeliness requires an appropriate system architecture and a rigorous design methodology The rst part of this paper describes those services of the architecture that help to simplify the work of the real time programmer taking MARS as an example The second part deals with the pro gramming in the large activities i e the systematic derivation of task timing parameters from the require ments speci cation The following core section of the paper focuses on programming to meet a time budget and presents the programming interface the program ming environment and the testing and support tools The architecture and most of the presented tools have been implemented and can be demonstrated on a fault tolerant prototype application
منابع مشابه
A multi-stage stochastic programming for condition-based maintenance with proportional hazards model
Condition-Based Maintenance (CBM) optimization using Proportional Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time intervals. The general approach for constructing a CBM based on PHM for a system is to minimize a long run average cost per unit of time...
متن کاملA multi-product vehicle routing scheduling model with time window constraints for cross docking system under uncertainty: A fuzzy possibilistic-stochastic programming
Mathematical modeling of supply chain operations has proven to be one of the most complex tasks in the field of operations management and operations research. Despite the abundance of several modeling proposals in the literature; for vast majority of them, no effective universal application is conceived. This issue renders the proposed mathematical models inapplicable due largely to the fact th...
متن کاملA DSS-Based Dynamic Programming for Finding Optimal Markets Using Neural Networks and Pricing
One of the substantial challenges in marketing efforts is determining optimal markets, specifically in market segmentation. The problem is more controversial in electronic commerce and electronic marketing. Consumer behaviour is influenced by different factors and thus varies in different time periods. These dynamic impacts lead to the uncertain behaviour of consumers and therefore harden the t...
متن کاملGENETIC PROGRAMMING AND MULTIVARIATE ADAPTIVE REGRESION SPLINES FOR PRIDICTION OF BRIDGE RISKS AND COMPARISION OF PERFORMANCES
In this paper, two different data driven models, genetic programming (GP) and multivariate adoptive regression splines (MARS), have been adopted to create the models for prediction of bridge risk score. Input parameters of bridge risks consists of safe risk rating (SRR), functional risk rating (FRR), sustainability risk rating (SUR), environmental risk rating (ERR) and target output. The total ...
متن کاملA multi-period fuzzy mathematical programming model for crude oil supply chain network design considering budget and equipment limitations
The major oil industry upstream activities include the exploration, drilling, extraction, pipelines installation, and production of crude oil. In this paper, we develop a mathematical model to plan for theseoperations as a crude oil supply chain network design problem.The proposed multi-period mixed integer linear programming model entails both strategic (e.g., facility location and allocation)...
متن کامل